Merge branch 'feature/type-hierarchy' into 'master'
authorAndrea Corallo <acorallo@gnu.org>
Fri, 1 Mar 2024 08:30:44 +0000 (09:30 +0100)
committerAndrea Corallo <acorallo@gnu.org>
Fri, 1 Mar 2024 08:30:44 +0000 (09:30 +0100)

Trivial merge